#ifndef _IRQ_H
#define _IRQ_H
extern void DispatchIRQ(void);
#endif
